#include "Parameters.hpp"

using namespace BFT;

uint32_t Parameters::maxRequestSize = 0; //really needed?
int Parameters::toleratedOrderCrashes = 0;
int Parameters::toleratedOrderLiars = 0;
int Parameters::toleratedExecutionCrashes = 0;
int Parameters::toleratedExecutionLiars = 0;
int Parameters::toleratedFilterCrashes = 0;
int Parameters::toleratedFilterLiars = 0;
int Parameters::numberOfClients = 0;

bool Parameters::filtered = false;
bool Parameters::debug = false;
bool Parameters::insecure = false;

std::string Parameters::provider = "";


